Some Formal Semantics for Epistemic Modesty
نویسندگان
چکیده
منابع مشابه
Formal Semantics of Temporal Epistemic Reflection
In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and changes of them. Especially the attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these.
متن کاملFormal semantics of meta-level architectures: Temporal epistemic reflection
In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these...
متن کاملSome Formal Properties of Indirect Semantics
The ideas of context free and logistic grammars are defined within the theory of inductive sets, and necessary and sufficient conditions are established for homomorphic translation from the first sort of structure into the second. The method is of interest because of its recent use in the indirect semantic interpretation of context free grammars by translating them into intensional logic. Examp...
متن کاملNew Semantics for Epistemic Specifications
This note presents a new version of the language of epistemic specifications. The semantics of the new language is arguably closer to the intuitive meaning of epistemic operators. It eliminates some unintended interpretations which exist under the old definition. The author hopes that the new language will be better suited for the design of intelligent agents capable of introspective reasoning ...
متن کاملModular Semantics for Some Basic Log- ics of Formal Inconsistency
We construct a modular semantic framework for LFIs (logics of formal (in)consistency) which extends the framework developed in previous papers, so it now includes all the basic axioms considered in the literature on LFIs, plus a few more. In addition, the paper provides another demonstration of the power of the idea of non-deterministic semantics, especially when it is combined with the idea of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2020
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2020.002